Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes

نویسندگان

  • Hervé Deleau
  • Jin-Kao Hao
  • Frédéric Saubion
چکیده

In this paper, we present a generic hybrid algorithm for combining complete (constraint programming) and incomplete (local search) methods in order to solve constraint satisfaction problems. This algorithmic scheme uses constraint propagation techniques and local search heuristics over populations. The structures involved provide an harmonious interaction between the different methods, and also benefit from the respective methods’ assets. We propose various combination strategies and emphasize their interest on some examples which are solved by means of an implementation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Vers le prototypage rapide de programmes de fouille de données

Bien que guidées par des problèmes réels, les techniques mises au point dans le cadre de la recherche en fouille de données sont encore peu utilisées et leur mise en œuvre reste confinée à la discrétion de quelques programmeurs spécialistes. Ce ”transfert technologique” est donc freiné par un certain nombre de verrous, parmi lesquels le temps nécessaire à la mise au point des programmes opérati...

متن کامل

Problèmes de contraintes hybrides pour l’ordonnancement d’activités

Le raisonnement sur le temps est une tâche importante pour de nombreux domaines de l’Informatique (planification temporelle, traitement du langage naturel, etc.). Dans ce cadre, différentes approches représentant les informations temporelles à l’aide de contraintes numériques ou qualitatives ont été étudiées. Dans cet article, nous proposons un nouveau formalisme basé sur des problèmes d’optimi...

متن کامل

Comparaison de BTD avec des stratégies d ’ exploration “ intelligentes ” pour une sélection automatique d ’ algorithmes

Nous considérons un solveur générique de problèmes de satisfaction de contraintes (CSP) binaires, paramétré par des choix de haut niveau, à savoir le type de recherche, le niveau de propagation de contraintes et l’heuristique de choix de variables. Nous comparons expérimentalement 18 configurations de ce solveur générique sur plus d’un millier d’instances. Un premier but est de comprendre la co...

متن کامل

Optimisation des évolutions d'un réseau télécoms

RÉSUMÉ. Cet article présente l’application de conception de réseaux développée par THALES Research & Technology. Le problème est de déterminer les évolutions successives à apporter à un réseau de façon à satisfaire des besoins prévisionnels et en minimisant le coût global d'investissement et de maintenance des infrastructures. L’application a été modélisée avec un solveur de contraintes dans le...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • RAIRO - Operations Research

دوره 39  شماره 

صفحات  -

تاریخ انتشار 2005